transition:
Q0-a-Q1;
Q1-b-Q2;
initial:
Q0;
final:
Q2.